541. Using Resilient Systems Inference for Estimating Hospital Acquired Infection Prevention Infrastructure Performance
پدیدآورنده : Platt, Lisa Sundahl
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Health care management,Logic,Systems science
542. VLSI:
پدیدآورنده : edited by Ricardo Reis, Luc Claesen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Information storage and retrieval systems.
رده :
TK7874
.
75
E358
1997
543. Verification techniques for system-level design /
پدیدآورنده : Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science),Integrated circuits-- Verification.,Systems on a chip-- Testing.,Formal methods (Computer science),Formal methods (Computer science),Integrated circuits-- Verification.,Integrated circuits-- Verification.,Systems on a chip-- Testing.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7895
.
E42
F95
2008eb
544. What I Do Not Believe, and Other Essays
پدیدآورنده : by Norwood Russell Hanson ; edited by Stephen Toulmin, Harry Woolf.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Philosophy (General),Science -- Philosophy.
رده :
B29
.
B966
1971
545. What if there were no significance tests? /
پدیدآورنده : edited by Lisa L. Harlow, Stanley A. Mulaik, James H. Steiger
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Statistical hypothesis testing
546. Witches, Scientists, Philosophers:
پدیدآورنده : edited by Graham Solomon.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Humanities.,Philosophy (General),Philosophy, Modern.
547. Zygmunt Zawirski His Life and Work:
پدیدآورنده : Szumilewicz-lachman, I.; Lachman, Feliks; Cohen, Robert S.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
Q174
.
S986
2013
548. Zygmunt Zawirski His Life and Work:
پدیدآورنده : Szumilewicz-lachman, I.; Lachman, Feliks; Cohen, Robert S.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
550. Über Beweise und Beweisarten bei Wilhelm Ockham /
پدیدآورنده : Heinz-Helmut Möllmann, Ruhr-Universität Bochum.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : William,approximately 1285-approximately 1349-- Criticism and interpretation.,William,approximately 1285-approximately 1349-- Literary style.,Knowledge, Theory of.,Logic.,Science-- Methodology.
552. explanation in the sciences
پدیدآورنده : / Emile Meyerson
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Science--Methodology,Science--Philosophy,Explanation,Logic
رده :
Q174
.
B67
1991